$\forall$$m$:$\mathbb{N}$, $n$:$\mathbb{N}$$_{\mbox{\scriptsize $<$$m$+1}}$. upto($m$) $\sim$ (upto($n$) @ map($\lambda$$x$.$x$+$n$;upto($m$$-$$n$)))